Galois connection - PDFSEARCH.IO - Document Search Engine

Galois connection
Results: 39

#	Item
11	1 The Return of Factor Theory Roland Backhouse NWPT, 21st November 2002 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-12-10 07:52:04 Order theory Function Spectral theory Adjoint functors Spectral theory of ordinary differential equations Mathematics Abstract interpretation Galois connection
12	Meeting a Fanclub: A Lattice of Generic Shape Selectors1 Roland Backhouse Richard Bird Paul Hoogendijk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-03 12:04:24 Binary operations Functions and mappings Higher category theory Galois connection Function composition Natural transformation Morphism Presentation of a group Group Abstract algebra Mathematics Category theory
13	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
14	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
15	Lecture 1: Motivating abstract nonsense Nilay Kumar May 28, 2014 This summer, the UMS lectures will focus on the basics of category theory. Rather dry and substanceless on its own (at least at first), category theory is Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2014-06-13 12:45:04 Homological algebra Homotopy theory Functor Galois connection Initial and terminal objects Coproduct Category Product Abelian category Category theory Abstract algebra Mathematics
16	Chapter 6 Galois Theory 6.1 Fixed Fields and Galois Groups Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-08-28 17:41:55 Galois theory Group theory Algebraic number theory Fundamental theorem of Galois theory Galois group Galois extension Separable extension Galois connection Field Abstract algebra Algebra Field theory
17	Galois representations with open image Ralph Greenberg† 1 Introduction. Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2010-02-04 17:17:18 Connection Fiber bundles Homotopy theory Algebraic topology Symbol Holonomy Abstract algebra Topology Mathematics
18	Funcoids and Reloids: a Generalization of Proximities and Uniformities∗ Victor Porton September 11, 2013 Abstract Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:27:55 Morphism Category Surjective function Functor Product Subcategory Natural transformation Coproduct Galois connection Mathematics Mathematical analysis Category theory
19	Abstract Satisfaction Vijay D’Silva Leopold Haller Daniel Kroening Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-29 09:55:04 Order theory Philosophical logic Predicate logic Deduction Formal methods Entailment Abstract interpretation First-order logic Galois connection Mathematics Logic Mathematical logic
20	The measurement process in domain theory Keye Martin Department of Mathematics, Tulane University, New Orleans, LA 70118, USA Fax[removed]removed] http://www.math.tulane.edu/˜martin Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2012-12-25 23:14:56 Order theory Calculus Continuous function Complete partial order Domain theory Metric space Galois connection Pointwise Mathematics Mathematical analysis Structure

UPDATE